Prove
Hint:
Problem from SSM 3939
Return